1. A first course in logic /
Author: Mark V. Lawson, Heriot-Watt University, Edinburgh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
Classification :
QA9
.
L37256
2018eb
2. A tale of discrete mathematics
Author: Joseph Khoury.,Khoury, Joseph,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Combinatorial analysis,Set theory,Algebraic logic,Textbooks.,Textbooks.,Textbooks.,Textbooks.
3. Algebraic Foundations of Many-Valued Reasoning
Author: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
4. Algebraic methods of mathematical logic
Author: Rieger, Ladislav
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Boolean
Classification :
QA
9
.
R6413
5. Applications of Hyperstructure Theory
Author: by Piergiulio Corsini, Violeta Leoreanu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
6. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
7. Diamond :
Author: N.S. Hellerstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Paradox.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Paradox.
Classification :
QA9
.
H396
2010eb
8. Discrete mathematics
Author: by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
Classification :
QA
,
162
,.
D57
,
2007
9. Discrete mathematics :
Author: Douglas E. Ensley, J. Winston Crawley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
Classification :
QA9
.
25
.
E57
2006
10. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
11. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
12. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Ilam University Central Library (Ilam)
Subject: Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
13. Introduction to mathematics of satisfiability
Author: / Victor W. Marek
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Propositional calculus.,Logic, Symbolic and mathematical.
Classification :
QA9
.
3
.
M37
2009
14. Logic
Author: / Prepared by The Mathematics Foundation Course Team
Library: Library of factualty of psychology and Education (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC
135
.
O6
1971
15. Logic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
131
.
O6
16. Logic and Boolean algebra
Author: / by Kathleen Levitz, Hilbert Levitz
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical,Algebra, Boolean
Classification :
QA9
.
L47
17. Logic and Boolean algebra
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
18. Logic and Boolean algebra
Author: / by Kathleen Levitz, Hilbert Levitz
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical,Algebra, Boolean
Classification :
QA9
,.
L47
19. Logic and Boolean algebra
Author: / by Kathleen Levitz, Hilbert Levitz
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Algebra, Boolean
Classification :
QA9
.
L47
20. Logic and Boolean algebra
Author: / by Kathleen Levitz, Hilbert Levitz
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Algebra, Boolean
Classification :
QA9
.
L47
